🇩🇪 de en 🇬🇧

kanonische konjunktive Normalform

canonical conjunctive normal form